1. Scientific computation with automatic result verification
پدیدآورنده : U. Kulisch and H.J. Stetter (eds.)
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع : Numerical calculations- Verification- Congresses,Algorithms- Congresses
رده :
QA
,
297
,.
S392
,
1988